1. Advances in hardware design and verification: IFIP TC10.5 International Conference on Correct Hardware and Verification Methods, 16-18 October 1997, Montreal, Canada
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer engineering-- Congresses,، Computer software-- Verification-- Congresses
Classification :
TK
7874
.
75
.
I45
1997
2. Certified Programs and Proofs :
Author: edited by Chris Hawblitzel, Dale Miller.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Computer software -- Congresses.,Formal methods (Computer science) -- Verification -- Congresses.
Classification :
QA76
.
9
.
M35
E358
2012
3. Computer Aided Verification
Author: \ Daniel Kroening , Corina S. Păsăreanu (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Verification -- Congresses.,Logics and Meanings of Programs.,نرمافزار -- راستیآزمایی -- کنگره ها
Classification :
QA
76
.
76
.
V47C6
2015
E-Book
,
4. Computer aided verification :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software ; Verification ; Congresses. ;
5. Computer aided verification :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software ; Verification ; Congresses. ;
6. Computer aided verification :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software ; Verification ; Congresses. ;
7. Computer aided verification :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software ; Verification ; Congresses. ;
8. Computer aided verification
Author: / Pierre Wolper (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer software- Verification- Congresses,Electronic digital computers- Evaluation- Congresses
Classification :
QA76
.
76
.
C47
,
C38
1995
9. Computer aided verification
Author: P. Madhusudan, Sanjit A. Seshia (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses
Classification :
QA76
.
76
.
V47
C38
2012eb
10. Computer aided verification : fourth International Workshop, CAV'92, Montreal, Quebec, 1992 : proceedings
Author: G.V. Bochmann, D.K. Probst )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
663
11. Computer aided verification: fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Computer software-- Verification,Congresses ، Electronic digital computers-- Evaluation
Classification :
QA
76
.
76
.
E93
.
C38
1993
12. Computer aided verification : fourth international workshop, CAV 92, Montreal, Canada, June 29-July 1, 1992 : proceedings
Author: G. v. Bochmann, D.K. Probst, eds
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer software Verification -- Congresses, Integrated circuits Verification -- Congresses, Electronic digital computers Evaluation -- Congresses
Classification :
QA
76
.
76
.
V47
C38
1993
13. Computer aided verification : international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings
Author: Warren A. Hunt, Jr., Fabio Somenzi )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
2725
14. Computer aided verification : 3rd international workshop, CAV'91, Alborg, Denmark, 1991 :proceedings
Author: K.G. Larsen, A. Skou, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
575
15. Computer aided verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I
Author: / edited by Isil Dillig, Serdar Tasiran.
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer programs -- Verification -- Congresses.,Software engineering.,Computer science.,Computer science.,Computer programs.,Software engineering.
16. Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings
Author: Rajeev Alur, Doron A. Peled )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
3114
17. Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings
Author: E. Allen Emerson, A. Prasad Sistla )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
1855
18. Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
Author: Ed Brinksma, Kim Guldstrand Larsen )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
2404
19. Computer aided verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings
Author: Kousha Etessami, Sriram K. Rajamani )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
3576
20. Computer aided verification : 5th International Conference, CAV'93 Elounda, Greece, June 28-July 1, 1993 : proceedings
Author: Costas Courcoubetis )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
697
